lconnects(p;i;j)
== lpath(p)
== & ((||p|| = 0)  (i = j))
== & (((||p|| = 0))  (i = source(hd(p)) & j = destination(last(p)))) 

latex

---

clarification:

lconnects(p;i;j)
== lpath(p)
== & ((||p|| = 0  )  (i = j  Id))
== & (((||p|| = 0  ))  (i = source(hd(p))  Id & j = destination(last(p))  Id)) 

latex

Definitions	lconnects(p;i;j), lpath(p), P  Q, A, ||as||, P & Q, source(l), hd(l), Id, destination(l), last(L)
FDL editor aliases	lconnects